#include <config.h>

	.global __executable_start
	__executable_start = LOADER_ADDR
